DE eng

Search in the Catalogues and Directories

Page: 1 2
Hits 1 – 20 of 26

1
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
BASE
Show details
2
An inquisitive account of wh-questions through event semantics
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03541222 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
BASE
Show details
3
Lexical selection, coercion, and record types
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
BASE
Show details
4
A French Version of the FraCaS Test Suite ; Une version française de la ressource FraCaS
In: LREC 2020 - Language Resources and Evaluation Conference ; https://hal.inria.fr/hal-02619239 ; LREC 2020 - Language Resources and Evaluation Conference, May 2020, Marseille, France. pp.9 (2020)
BASE
Show details
5
Proceedings of the 16th Meeting on the Mathematics of Language
de Groote, Philippe; Drewes, Frank; Penn, Gerald. - : HAL CCSD, 2019. : Association for Computational Linguistics, 2019
In: https://hal.inria.fr/hal-02268054 ; Philippe de Groote; Frank Drewes; Gerald Penn. Jul 2019, Toronto, Canada. Association for Computational Linguistics, 2019 ; https://www.aclweb.org/anthology/W19-5700 (2019)
BASE
Show details
6
New Progress in Continuation-Based Dynamic Logic
In: LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics ; https://hal.archives-ouvertes.fr/hal-01939664 ; LACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden ; http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-160428 (2018)
BASE
Show details
7
MOL 2017, the 15th Meeting on the Mathematics of Language ; MOL 2017, the 15th Meeting on the Mathematics of Language: Proceedings of the conference
Kanazawa, Makoto; de Groote, Philippe; Sadrzadeh, Mehrnoosh. - : HAL CCSD, 2017. : Association for Computational Linguistics, 2017
In: https://hal.inria.fr/hal-01654605 ; Kanazawa, Makoto; de Groote, Philippe ; Sadrzadeh, Mehrnoosh. Jul 2017, London, United Kingdom. Association for Computational Linguistics, 2017 ; https://aclweb.org/anthology/sigmol.html#2017_0 (2017)
BASE
Show details
8
Generalized Quantifiers and Dynamicity — preliminary results —
In: QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017 ; https://hal.archives-ouvertes.fr/hal-01651668 ; QUAD2017 - QUantifiers And Determiners as part of ESSLLI 2017, Jul 2017, Toulouse, France (2017)
BASE
Show details
9
Modularity and compositionality: The case of temporal modifiers
In: Semantics and Linguistic Theory; Proceedings of SALT 25; 656-675 ; 2163-5951 (2017)
BASE
Show details
10
Modal Subordination in Type Theoretic Dynamic Logic
In: ISSN: 1945-3604 ; Linguistic Issues in Language Technology ; https://hal.inria.fr/hal-01370557 ; Linguistic Issues in Language Technology, Stanford Calif.: CSLI Publications, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39 ; http://csli-lilt.stanford.edu/ojs/index.php/LiLT/issue/view/7 (2016)
BASE
Show details
11
Abstract Categorial Parsing as Linear Logic Programming
In: Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015) ; https://hal.archives-ouvertes.fr/hal-01188632 ; Proceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25 (2015)
BASE
Show details
12
A Type-Theoretic Account of Neg-Raising Predicates in Tree Adjoining Grammars
In: New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers ; https://hal.inria.fr/hal-00868382 ; Yukiko Nakano and Ken Satoh and Daisuke Bekki. New Frontiers in Artificial Intelligence: JSAI-isAI 2013 Workshops, LENLS, JURISIN, MiMI, AAA, and DDS, Kanagawa, Japan, October 27-28, 2013, Revised Selected Papers, 8417, Springer International Publishing, pp.3-16, 2014, Lecture Notes in Computer Science, 978-3-319-10060-9. ⟨10.1007/978-3-319-10061-6_1⟩ (2014)
BASE
Show details
13
Accessibilité des référents en sémantique du discours ; Accessibility of Referents in Discourse Semantics
Qian, Sai. - 2014
BASE
Show details
14
A Note on Intensionalization
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-00909207 ; Journal of Logic, Language and Information, Springer Verlag, 2013, 22 (2), pp.173-194. ⟨10.1007/s10849-013-9173-9⟩ ; http://link.springer.com/article/10.1007/s10849-013-9173-9 (2013)
BASE
Show details
15
Modélisation logique de la langue et grammaires catégorielles abstraites ; Logic modeling of language and Abstract Categorial Grammars
BASE
Show details
16
Formal Grammar : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011
de Groote, Philippe; Nederhof, Mark-Jan. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2012
UB Frankfurt Linguistik
Show details
17
Formal Grammar - 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers
De Groote, Philippe; Nederhof, Mark-Jan. - : HAL CCSD, 2012. : Springer, 2012
In: https://hal.inria.fr/hal-00763203 ; Philippe de Groote and Mark-Jan Nederhof. France. 7395, Springer, pp.307, 2012, Lecture Notes in Computer Science, 978-3-642-32023-1. ⟨10.1007/978-3-642-32024-8⟩ (2012)
BASE
Show details
18
Expression de la dynamique du discours à l'aide de continuations ; Expressing Discourse Dynamics Through Continuations
BASE
Show details
19
Formal Grammar : 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers
de Groote, Philippe; Egg, Markus; Kallmeyer, Laura. - Berlin, Heidelberg : Springer Berlin Heidelberg, 2011
UB Frankfurt Linguistik
Show details
20
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.inria.fr/inria-00565598 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩ ; http://iospress.metapress.com/content/h212811177456033/ (2011)
BASE
Show details

Page: 1 2

Catalogues
2
0
0
0
0
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
24
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern